Search results for "Obstruction theory"

showing 4 items of 4 documents

Obstruction theory in action accessible categories

2013

Abstract We show that, in semi-abelian action accessible categories (such as the categories of groups, Lie algebras, rings, associative algebras and Poisson algebras), the obstruction to the existence of extensions is classified by the second cohomology group in the sense of Bourn. Moreover, we describe explicitly the obstruction to the existence of extensions in the case of Leibniz algebras, comparing Bourn cohomology with Loday–Pirashvili cohomology of Leibniz algebras.

Algebra and Number TheoryGroup (mathematics)Accessible categoryAction accessible categorieObstruction theoryMathematics::Algebraic TopologyAction accessible categoriesCohomologyAction (physics)Action accessible categories; Leibniz algebras; Obstruction theoryLeibniz algebraAlgebraSettore MAT/02 - AlgebraMathematics::K-Theory and HomologyMathematics::Category TheoryLie algebraObstruction theoryLeibniz algebrasAssociative propertyObstruction theorymatMathematics
researchProduct

Invariant deformation theory of affine schemes with reductive group action

2015

We develop an invariant deformation theory, in a form accessible to practice, for affine schemes $W$ equipped with an action of a reductive algebraic group $G$. Given the defining equations of a $G$-invariant subscheme $X \subset W$, we device an algorithm to compute the universal deformation of $X$ in terms of generators and relations up to a given order. In many situations, our algorithm even computes an algebraization of the universal deformation. As an application, we determine new families of examples of the invariant Hilbert scheme of Alexeev and Brion, where $G$ is a classical group acting on a classical representation, and describe their singularities.

Classical groupPure mathematicsInvariant Hilbert schemeDeformation theory01 natural sciencesMathematics - Algebraic Geometry0103 physical sciencesFOS: Mathematics0101 mathematicsInvariant (mathematics)Representation Theory (math.RT)Algebraic Geometry (math.AG)MathematicsAlgebra and Number Theory[MATH.MATH-RT]Mathematics [math]/Representation Theory [math.RT]010102 general mathematicsReductive group16. Peace & justiceObstruction theoryDeformation theoryHilbert schemeAlgebraic groupMSC: 13A50; 20G05; 14K10; 14L30; 14Q99; 14B12Gravitational singularity010307 mathematical physicsAffine transformation[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]SingularitiesMathematics - Representation Theory
researchProduct

Fibred-categorical obstruction theory

2022

Abstract We set up a fibred categorical theory of obstruction and classification of morphisms that specialises to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further applications are provided to crossed extensions and crossed bimodule butterflies, with in particular a classification of non-abelian extensions of unital associative algebras in terms of Hochschild cohomology.

Pure mathematicsFibrationCohomology Fibration Category of fractions Schreier-Mac Lane theorem Obstruction theory Crossed extension Hochschild cohomologyFibered knotMathematics::Algebraic TopologyCohomologyHochschild cohomologyMorphismMathematics::K-Theory and HomologyMathematics::Category TheoryCategorical variableMathematicsSchreier-Mac Lane theoremAlgebra and Number TheoryFunctorCategory of fractionsGroup (mathematics)Crossed extensionSettore MAT/01 - Logica MatematicaObstruction theoryCohomologyCategory of fractions; Cohomology; Crossed extension; Fibration; Hochschild cohomology; Obstruction theory; Schreier-Mac Lane theoremSettore MAT/02 - AlgebraBimoduleObstruction theory
researchProduct

Extension theory and the calculus of butterflies

2016

Abstract This paper provides a unified treatment of two distinct viewpoints concerning the classification of group extensions: the first uses weak monoidal functors, the second classifies extensions by means of suitable H 2 -actions. We develop our theory formally, by making explicit a connection between (non-abelian) G-torsors and fibrations. Then we apply our general framework to the classification of extensions in a semi-abelian context, by means of butterflies [1] between internal crossed modules. As a main result, we get an internal version of Dedecker's theorem on the classification of extensions of a group by a crossed module. In the semi-abelian context, Bourn's intrinsic Schreier–M…

TorsorCrossed moduleContext (language use)01 natural sciencesCohomologyCohomology; Extension; Fibrations; Obstruction theory; Schreier-mac lane theorem; TorsorsExtensionMathematics::Category Theory0103 physical sciences0101 mathematicsConnection (algebraic framework)MathematicsAlgebra and Number TheoryFunctorGroup (mathematics)010102 general mathematicsTorsorsExtension (predicate logic)Obstruction theorySchreier-mac lane theoremCohomologyFibrationsAlgebraSettore MAT/02 - AlgebraSchreier–Mac Lane theoremSettore MAT/03 - Geometria010307 mathematical physicsObstruction theory
researchProduct